#ifndef __TASK_POOL_H__
#define __TASK_POOL_H__

void user_task1_start(void *argument);
void user_task2_start(void *argument);
void user_task3_start(void *argument);
void user_task4_start(void *argument);
void user_task5_start(void *argument);

#endif
